Analysis of Candidate PSL Process Plan Representations
نویسنده
چکیده
This paper is a summary of analysis work completed during phase of the National Institute of Standards and Technology s NIST Process Speci cation Language PSL project A set of requirements for this language was produced in phase These requirements were divided into separate categories The main categories of interest for this analysis are the core and outer core requirements Each set was then further partitioned into either representational or functional requirements In phase existing candidate process representations were proposed which were believed to satisfy much of the representational and functional needs Most of the particular set of candidates reviewed are those representations generated by participants in the DARPA Rome Laboratory Planning Initiative ARPI or representations in which participants in the initiative played a part The results of the analyses of a number of the candidate representations with respect to the requirements are reviewed here With contributions from PSL working group members which are speci cally credited in the paper where provided
منابع مشابه
Process Specification Language (psl): Results of the First Pilot Implementation
In all types of communication, the ability to share information is often hindered because the meaning of information can be drastically affected by the context in which it is viewed and interpreted. This is especially true in manufacturing because of the growing complexity of manufacturing information and the increasing need to exchange this information among various software applications. Diff...
متن کاملPutting knowledge rich plan representations to use
AI planning research is now maturing and nding practical application in the commercial industrial engineering and defence sectors This has led to a rapid expansion in the last couple of years of investment in this area The plan representations which have emerged from the research have been found to be of bene t in a number of areas even when the generation of a plan is not the primary concern O...
متن کاملA counterexample to the simple loop conjecture for PSL(2, R)
In this note, we give an explicit counterexample to the simple loop conjecture for representations of surface groups into PSL(2, R). Specifically, we use a construction of DeBlois and Kent to show that for any orientable surface with negative Euler characteristic and genus at least 1, there are uncountably many non-conjugate, non-injective homomorphisms of its fundamental group into PSL(2, R) t...
متن کاملRepresentations of Fundamental Groups of 3-manifolds into Pgl(3,c): Exact Computations in Low Complexity
In this paper we are interested in computing representations of the fundamental group of a 3-manifold into PSL(3,C) (in particular in PSL(2,C),PSL(3,R) and PU(2, 1)). The representations are obtained by gluing decorated tetrahedra of flags as in [11, 1]. We list complete computations (giving 0-dimensional or 1-dimensional solution sets) for the first complete hyperbolic non-compact manifolds wi...
متن کاملSimple Root Flows for Hitchin Representations
Anosov representations ([19, 15]) from a hyperbolic group to a semi-simple Lie group are characterized by their dynamical nature. In the context of projective Anosov representations, we [7] previously associated a metric Anosov flow to such a representation and showed that the (thermo)dynamical properties of this flow yield in turn new structures on the deformation space of these representation...
متن کامل